121. Hardware verification with SystemVerilog
Author: / Mike Mintz, Robert Ekendahl
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Verilog (Computer hardware description language),Integrated circuits--Verification,Object-oriented programming (Computer science)
Classification :
TK
,
7885
.
7
,.
M56
,
2007
122. Integrated Circuit Authentication
Author: \ Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Integrated circuits -- Verification.,Hardware Trojans (Computers),مدارهای مجتمع -- راستیآزمایی
Classification :
E-Book
,
123. Integrated circuit authentication
Author: / Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Integrated circuits, Verification,Hardware Trojans (Computers),Engineering,Circuits and Systems,Processor Architectures,Electronic Circuits and Devices
Classification :
E-BOOK
124. Integrated circuit authentication :hardware trojans and counterfeit detection
Author: Tehranipoor, Mohammad, Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: Verification ، Integrated circuits,، Hardware Trojans )Computers(,، Engineering,، Circuits and Systems,، Processor Architectures,، Electronic Circuits and Devices
Classification :
TK7874
.
58
125. Integrated circuit test engineering: modern techniques
Author: Grout, Ian
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Verification ، Integrated circuits
Classification :
TK
7874
.
58
.
G76
126. Introduction to formal hardware verification
Author: Kropf, Thomas
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Integrated circuits - Very large scale integration - Computer-aided design , Integrated circuits - Verification
Classification :
TK
7874
.
75
.
K76
1999
127. Languages, design methods, and tools for electronic system design :
Author: Daniel Große, Sara Vinco, Hiren Patel, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-aided design, Congresses.,Electronic circuit design-- Data processing, Congresses.,Computer-aided design.,Electronic circuit design-- Data processing.,TECHNOLOGY & ENGINEERING-- Mechanical.
Classification :
TK7867
128. Logic synthesis and verification algorithms
Author: / Gary Hachtel, Fabio Somenzi
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer-aided design,Integrated circuits -- Verification,Logic design -- Data processing
Classification :
TK
7874
.
75
.
H33
2006
129. Logic synthesis and verification algorithms
Author: Hachtel, Gary D.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Integrated circuits-- Verification,، Computer-aided design
Classification :
TK
7874
.
75
.
H33
1996
130. Machine learning in VLSI computer-aided design /
Author: editors, Abrahim (Abe) M. Elfadel, Duane S. Boning and Xin Li.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Integrated circuits-- Very large scale integration-- Computer-aided design.,Machine learning.,Integrated circuits-- Very large scale integration-- Computer-aided design.,Machine learning.,TECHNOLOGY & ENGINEERING-- Mechanical.
Classification :
TK7874
.
75
131. Metric-driven design verification :
Author: Hamilton B. Carter, Shankar Hemmady.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Integrated circuits-- Verification.,Ingénierie.,Integrated circuits-- Verification.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
Classification :
TK7874
.
58
.
C37
2007eb
132. Metric-driven design verification
Author: / Hamilton B. Carter, Shankar Hemmady
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Integrated circuits, Verification
Classification :
TK7874
.
58
.
C37
2007
133. Models in hardware testing
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Electronic digital computers ; Circuits ; Testing. ; Integrated circuits ; Verification. ; Integrated circuits ; Computer simulation. ;
134. Models in hardware testing
Author: / edited by Hans-Joachim Wunderlich
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic digital computers--Circuits--Testing,Integrated circuits--Verification,Integrated circuits--Computer simulation
Classification :
TK
,
7888
.
4
,.
M63
,
2010
135. Models, methods, and tools for complex chip design :selected contributions from FDL 2012
Author: Jan Haase, editor
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: Congresses ، Embedded computer systems - Design and construction,Congresses ، Integrated circuits - Design and construction,، Engineering,، Circuits and Systems,، Processor Architectures,، Electronics and Microelectronics, Instrumentation
Classification :
TK7895
.
E42
136. Multilayered security and privacy protection in Car-to-X networks :
Author: Hagen Stübing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Traffic regulations.,Traffic safety.
Classification :
TK5105
.
59
H344
2013
137. OpenRAM:
Author: Butera, Jeffrey Thomas
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
138. Physical design and mask synthesis for directed self-assembly lithography /
Author: Seongbo Shim, Youngsoo Shin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Integrated circuits-- Design and construction.,Integrated circuits-- Masks.,Lithography.,Self-assembly (Chemistry),Circuits & components.,Electronic devices & materials.,Integrated circuits-- Design and construction.,Integrated circuits-- Masks.,Lithography.,Nanotechnology.,Precision instruments manufacture.,Self-assembly (Chemistry),Semi-conductors & super-conductors.,TECHNOLOGY & ENGINEERING-- Mechanical.
Classification :
TK7874
139. Practical design verification
Author: edited by Dhiraj K. Pradhan, Ian G. Harris
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Integrated circuits -- Verification
Classification :
TK
7874
.
58
.
P72
140. Practical design verification /
Author: edited by Dhiraj K. Pradhan, Ian G. Harris.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Integrated circuits-- Verification.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
Classification :
TK7874
.
58
.
P73
2009eb
